let rec filter p l=
if (l = []) then ([]) 
	else (
	   if ((p (head l)) = true) then 
	      ( (head l) :: (filter p (tail l)) )
	   else (filter p (tail l))
	      ) 
	      in
(filter (fun x ->(x > 2)) ([1;2;3;5]))
;;













		
